In mathematics, in the study of dynamical systems, the Hartman–Grobman theorem or linearization theorem is an important theorem about the local behaviour of dynamical systems in the neighbourhood of a hyperbolic equilibrium point.
Basically the theorem states that the behaviour of a dynamical system near a hyperbolic equilibrium point is qualitatively the same as the behaviour of its linearization near this equilibrium point provided that no eigenvalue of the linearization has its real part equal to 0. Therefore when dealing with such fixed points one can use the simpler linearization of the system to analyze its behaviour.
Let
be a smooth map with a hyperbolic equilibrium point p, that is : f(p)=0 and no eigenvalue of the linearization A of f at point p has its real part equal to 0. Then there exists a neighborhood U of p and a homeomorphism
such that
and such that in a neighbourhood U of p, the flow of f is topologically conjugate by h to the flow of its linearization A.[1][2][3]
In general, even for infinitely differentiable maps , the homeomorphism need not to be smooth, nor even locally Lipschitz. However, it turns out to be Hölder continuous, with an exponent depending on the constant of hyperbolicity of A.